We construct a computable vector space with the trivial computable automorphism group, but with the dependence relations as complicated as possible, measured by their Turing degrees. As a corollary, we answer a question asked by A.S. Morozov in [Rigid constructive modules, Algebra and Logic, 28 570–583 ; 379–387 ].

This review presents first ever literature survey on historical development of farm animal welfare indicators and assessment in the Danube region. This area, encompassing European Eastern countries and the Balkans, is to a large extent heterogeneous in terms of culture and language. However, international publications were disproportionally small compared to the amount of research institutions and animal welfare activities present in the region. Therefore, the authors aimed at investigating the published literature, focusing on country level and on native languages. Data (...) were collected for the 1980–2015 period referring to scientific papers published in international and national journals, papers and abstracts in proceedings of the international and national conferences, reviews, monographs, short communications, Ph.D., Master and Graduation theses. Welfare assessment of all farm animal species was observed including fish. Over 180 papers were in line with the preselected index. Data collected showed that publishing dynamics grew rapidly towards the last decade. Most of the studies were focused on animal welfare indicators such as stress, injuries and mutilations, behaviour, body condition and management practices. Cattle, chickens, pigs and sheep were the predominant species investigated. The study revealed that experts from the region were greatly involved in the studies of animal welfare indicators and assessment, contributing to development of the currently most widely used animal welfare assessment protocols, thus having an important role in animal welfare research and protection. (shrink)

Upon introspection, we judge that suffering feels bad. I argue there is no appearance-reality gap when it comes to introspective judgments about simple, intrinsic, nonrepresentational phenomenal states like itches, tingling, and suffering's feeling bad. On constitutivism about phenomenal introspection, there is no appearance-reality gap here because these judgments are literally constituted by the phenomenal states they are about. As a result, we are directly acquainted with the intrinsic properties of experience in having these judgments. Reflecting on our direct acquaintance with (...) intrinsic badness, we can know that our suffering instantiates this judgment-independent evaluative property. (shrink)

Tacitus writes that, by insisting that legionary legates who had not so far held the praetorship should immediately proceed to that office, Asinius Gallus ‘altius penetrare et arcana imperii temptari’. In C.Q. N.S. xvi , 327, I suggested that this demand of Gallus’ was probably probing dangerously deeply into and perhaps threatening to wreck the carefully worked-out imperial promotions system, the working of which has been examined by Birley. It is the purpose of this note to look at a number (...) of examples of such irregularity, which, though not as early as the debate during the course of which Gallus made his suggestion, do at least illustrate the process later in the Julio-Claudian era. (shrink)

In his historical writings, Cluvius Rufus evidently found cause to criticize Verginius Rufus for his conduct on a particular occasion ‘Scis, Vergini, quae historiae fides debeatur; proinde, si quid in historiis meis legis aliter ac velles, rogo igmoscas’. From his reply, it is clear that Verginius automatically understood Cluvius to be referring to an event to which he himself attached great significance: ‘Tune ignoras, Cluvi, ideo me fecisse, quod feci, ut esset liberum vobis scribere quae libuisset?’.

Justice will once take the place which the Magians are keeping now, for it is they who lord it over the world.

Initial responses to questionnaires used to assess participants' understanding of informed consent for malaria vaccine trials conducted in the United States and Mali were tallied. Total scores were analyzed by age, sex, literacy (if known), and location. Ninety-two percent (92%) of answers by United States participants and 85% of answers by Malian participants were correct. Questions more likely to be answered incorrectly in Mali related to risk, and to the type of vaccine. For adult participants, independent predictors of higher scores (...) were younger age and female sex in the United States, and male sex in Mali. Scores in the United States were higher than in Mali (P = 0.005). Despite this difference participants at both sites were well informed overall. Although interpretation must be qualified because questionnaires were not intended as research tools and were not standardized among sites, these results do not support concerns about systematic low understanding among research participants in developing versus developed countries. (shrink)

This paper presents a new formal model for D–N explanation that gives intuitive criteria of acceptability, avoids the known trivializations, and links explanation with confirmation theory. Although set in the twenty-five year tradition of attempts to formalize D–N explanation, it proposes a new direction for the model that is to be distinguished from the syntactical and informational approaches by its introduction of restrictions which derive from the use which the D–N model can have in hypothesis testing. This model, illustrating the (...) verificational approach, revises the classic H–O requirements and amends the notion of partial self-explanation to meet a criticism to which the H–O notion is vulnerable. (shrink)

In debates about criteria for human death, several camps have emerged, the main two focusing on either loss of the "organism as a whole" (the mainstream view) or loss of consciousness or "personhood." Controversies also rage over the proper definition of "irreversible" in criteria for death. The situation is reminiscent of the proverbial blind men palpating an elephant; each describes the creature according to the part he can touch. Similarly, each camp grasps some aspect of the complex reality of death. (...) The personhood camp, in contrast to the mainstream "organism" camp, recognizes that a human organism can still be a biological living whole even without brain function. The mainstream camp, in contrast to the personhood camp, recognizes that a person can be permanently, even irreversibly unconscious, and still be a living person so long as his/her body is alive. The author proposes that hylomorphic dualism incorporates both these key insights. But to complete the picture of the entire "death elephant," a fundamental paradigm shift is needed to make sense of other seemingly conflicting insights. The author proposes a "semantic bisection" of the concept of death, analogous to the traditional distinction at the beginning of life between "conception" and "birth." To avoid the semantic baggage associated with the term "death," the two new death-related concepts are referred to as "passing away" (or "deceased") and "deanimation," corresponding, respectively, to sociolegal ceasing-to-be (mirror image of birth) and ontological/theological ceasing-to-be of the bodily organism (mirror image of conception). Regarding criteria, the distinguishing feature is whether the cessation of function is permanent (passing away) or irreversible (deanimation). If the "dead donor rule" were renamed the "deceased donor rule" (both acronyms felicitously being "DDR"), the ethics of organ transplantation from non–heart-beating donors could, in principle, be validly governed by the DDR, even though the donors are not yet ontologically "deanimated." Thus, the paradigm shift satisfies both those who insist on maintaining the DDR and those who claim that it has all along been receiving only lip service and should be explicitly loosened to include those who are "as good as dead." Even so, a number of practical caveats remain to be worked out for non–heart-beating protocols. (shrink)

The evolution of internation relationships is studied by means of a mathematical model based on a popular rule of triadic interaction: the friend of my friend is my friend, the friend of my enemy is my enemy, the enemy of my enemy is my friend, the enemy of my friend is my enemy. The rule is shown to lead to the formation and preservation of unipolar and bipolar configurations of nations, with the strengths of relationships, both friendly and conflictual, intensifying (...) through time. These results confirm speculations originally made in static, graph theoretic studies of the balancing of relationships within individuals, small groups and systems of nations. (shrink)

THE clue to the meaning and interpretation of this poem, which has long been the despair of critics, is, I believe, to be found in a variant on line 9, faithfully preserved in the Codex Sangermanensis and yet unaccountably neglected hitherto. G's text I transcribe from M. Chatelain's photo-lithograph facsimile of the manuscript.

Revisiting African philosophy’s classic questions, D. A. Masolo advances understandings of what it means to be human—whether of African or other origin. Masolo reframes indigenous knowledge as diversity: How are we to understand the place and structure of consciousness? How does the everyday color the world we know? Where are the boundaries between self and other, universal and particular, and individual and community? From here, he takes a dramatic turn toward Africa’s current political situation and considers why individual rights and (...) freedoms have not been recognized, respected, demanded, or enforced. Masolo offers solutions for containing socially destructive conduct and antisocial tendencies by engaging community. His unique thinking about community and the role of the individual extends African philosophy in new, global directions. (shrink)

A three-valued propositional logic is presented, within which the three values are read as ?true?, ?false? and ?nonsense?. A three-valued extended functional calculus, unrestricted by the theory of types, is then developed. Within the latter system, Bochvar analyzes the Russell paradox and the Grelling-Weyl paradox, formally demonstrating the meaninglessness of both.

Signals to the brain from the flows of energy around the body, varied primarily by declining amounts of food energy in the stomach, can explain the pattern of meals in the laboratory rat, the differences between dark and light phases, and the development of obesity ion the rat wioth VMH lesions but normal sating.

Let I0 be a a computable basis of the fully effective vector space V∞ over the computable field F. Let I be a quasimaximal subset of I0 that is the intersection of n maximal subsets of the same 1-degree up to *. We prove that the principal filter \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}^{\ast}(V,\uparrow )}$$\end{document} of V = cl(I) is isomorphic to the lattice \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}(n, \overline{F})}$$\end{document} of subspaces (...) of an n-dimensional space over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{F}}$$\end{document}, a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma _{3}^{0}}$$\end{document} extension of F. As a corollary of this and the main result of Dimitrov (Math Log 43:415–424, 2004) we prove that any finite product of the lattices \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(\mathcal{L}(n_{i}, \overline{F }_{i}))_{i=1}^{k}}$$\end{document} is isomorphic to a principal filter of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{ L}^{\ast}(V_{\infty})}$$\end{document}. We thus answer Question 5.3 “What are the principal filters of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}^{\ast}(V_{\infty})?}$$\end{document} ” posed by Downey and Remmel (Computable algebras and closure systems: coding properties, handbook of recursive mathematics, vol 2, pp 977–1039, Stud Log Found Math, vol 139, North-Holland, Amsterdam, 1998) for spaces that are closures of quasimaximal sets. (shrink)

Lexical Semantics is about the meaning of words. Although obviously a central concern of linguistics, the semantic behaviour of words has been unduly neglected in the current literature, which has tended to emphasize sentential semantics and its relation to formal systems of logic. In this textbook D. A. Cruse establishes in a principled and disciplined way the descriptive and generalizable facts about lexical relations that any formal theory of semantics will have to encompass. Among the topics covered in depth are (...) idiomaticity, lexical ambiguity, synonymy, hierarchical relations such as hyponymy and meronymy, and various types of oppositeness. Syntagmatic relations are also treated in some detail. The discussions are richly illustrated by examples drawn almost entirely from English. Although a familiarity with traditional grammar is assumed, readers with no technical linguistic background will find the exposition always accessible. All readers with an interest in semantics will find in this original text not only essential background but a stimulating new perspective on the field. (shrink)